A subgroup <i>H </i> of <i>G</i> is normal in <i>G</i>  if 
<i>xHx<sup>-1</sup></i> is contained in <i>H</i> for all <i>x</i> in <i>G</i>.